Conferences
- AVACS veranstaltete die 19. Internationale Konferenz Computer Aided Verification, CAV 2007.
German Verification Day
- GVD 2005
March 4, 2005
Carl von Ossietzky University Oldenburg - GVD 2006
affiliated with Concur 2006
August 31, 2006
University of Bonn - GVD 2007 (external link)
affiliated with CAV 2007 (external link)
July 1, 2007
Berlin
AVACS Virtual Seminar
2004-2009
2009
Datum | Standort | Vortrag | Bemerkung |
09.01 | Saarbrücken | Reinhard Wilhelm, UdS, Abstract Interpretation with Applications to Timing Validation | Invited talk |
19.10 | Saarbrücken | Leonardo de Moura, Microsoft Research, SMT@Microsoft | Invited talk |
2008
Datum | Standort | Vortrag | Bemerkung |
22.02. | Freiburg | Stephan Merz: A Library of Omega-Automata in Isabelle/HOL | Invited talk |
23.05. | Saarbrücken | Thomas Rauber, Uni Bayreuth: M-task Programming for Multi-core Systems | Invited talk |
13.06. | Oldenburg | Martin Fränzle: Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems | -- |
20.06. | Freiburg | Armin Biere, Johannes Kepler University, Linz, Austria: Controlling Restarts | Invited talk |
27.06. | Freiburg | Susanne Albers, Uni Freiburg: Energy Efficient Algorithms | Invited talk |
10.10. | Oldenburg | Michael R. Hansen, Danmarks Tekniske Universitet: Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations | Invited talk |
25.11. | Freiburg | Amir Pnueli, NYU, Abstraction Methods for Liveness | Invited talk, Slides available |
05.12. | Saarbrücken | Roberto Segala, Universty of Verona, Analysis of Cryptographic Protocols with Probabilistic Automata | Invited talk |
2007
Datum | Standort | Vortrag | Bemerkung |
12.01. | Saarbrücken | Jan Reinecke: Timing-Predictability of Cache Replacement-Strategies | Subproject R2 |
09.02. | Saarbrücken | Kurt Mehlhorn: The Competences of MPI-AG Complexity and Algorithms relevant for AVACS | Subproject H1/H2 |
23.02. | Freiburg | Jan Georg Smaus: Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL | Subproject R3 |
09.03. | Saarbrücken | Lothar Thiele, ETH Zürich | Subproject R2 |
23.03. | Oldenburg | Jens Oehlerking: Automated Stability Proofs for Hybrid Systems using Lyapunov Functions | Subproject H4 |
11.05. | Freiburg | Tobias Nopper: Computation of Minimal Counterexamples by Using Black Box Techniques and Symbolic Methods | Subproject S1 |
25.05. | Saarbrücken | Y.N.Srikant: Energy Aware Compilation Techniques | Invited Talk |
15.06. | Oldenburg | Tobe Toben: Analysis of Dynamic Communication Systems | Subproject S2 |
22.06. | Oldenburg | E. Allen Emmerson: Limiting State Explosion | Invited Talk |
24.08. | Oldenburg | Jan Rakow: S3's Trans-Regional Tool Chain Timed Reachability Analysis of STATEMATE Design Based CTMDPs | Subproject S3 |
21.09. | Oldenburg | Sergio Giro: You have a choice: Compositionality or Decidability | Invited Talk |
30.11. | Saarbrücken | Aaron Bradley: Reasoning about Arrays | Invited Talk |
2006
Datum | Standort | Vortrag | Bemerkung |
24.11. | Oldenburg | Mark Segelken. Using Omega-Automata for Counterexample Guided Abstraction Refinement for Model-checking of Step-discrete Hybrid Models | Subproject H3 |
08.12. | Saarbrücken | Swen Jacobs: Applications of hierarchical reasoning in the verification of complex systems | Subproject R1 |
2005
Datum | Standort | Vortrag | Bemerkung |
18.02. | Saarbrücken | Prof. Dr. Oded Maler: On Optimal and Sub-optimal Control in the Presence of Adversaries | Eingeladener Vortrag |
17.06. | Saarbrücken | Dr. Gerald Lüttgen, The University of York: Structured Symbolic Model Checking of Asynchronous Systems | Eingeladener Vortrag, verschoben vom 10.6. |
24.06. | Oldenburg | Prof. Dr. David Harel, Weizmann Institute of Science: Programming Visually, and Directly from Requirements | Eingeladener Vortrag |
01.07. | Oldenburg | Jun.-Prof. Dr. H. Giese, Uni Paderborn: Model-Driven Development of Dependable Mechatronic Multi-Agent Systems | Eingeladener Vortrag, Termin verschoben vom 8.7. |
22.07.-23.09. | Sommerpause | ||
14.10. | Oldenburg | PD Dr. Hardi Hungar, OFFIS: The High-Lift Case Study | - |
28.10. | Freiburg | Prof. Dr. Bernhard Nebel | - |
11.11. | Saarbrücken | Dr. Uwe Waldmann | - |
24.11. | Freiburg | Prof. Hubert Garavel, INRIA Rhône-Alpes | Eingeladener Vortrag, Zeit: 16:30-18:00, Termin verschoben vom 25.11. |
09.12. | Konstanz | Wei Wei, Universität Konstanz: A Scalable Incomplete Boundedness Test for Cummunicating Finite State Machines | - |
23.12.-13.01.06 | Weihnachtspause | ||
2004
Datum | Standort | Vortrag | Bemerkung |
30.01. | Saarbrücken | Prof. Dr. R. Wilhelm: Static Program Analyis Based on 3-valued Logic | - |
13.02. | Oldenburg | Dr. habil. H. Hungar: First-Order Model-Checking | - |
12.03. | Freiburg | Prof. Dr. S. Leue: Directed Explicit State Model Checking | - |
26.03. | Saarbrücken | Prof. Dr. A. Podelski: Deductive Program Analysis | - |
07.05. | Oldenburg | Prof. Dr. Schmitt, Uni Karlsruhe: Integrierte Deduktive Softwareverifikation | Eingeladener Vortrag, Sondertermin |
14.05. | Saarbrücken | Prof. Dr. R. Wilhelm: On the Determination of Worst-Case Execution Times | - |
Montag 14.06. | Saarbrücken | Prof. Dr. Thiele, ETH Zürich: Performance Analysis of Embedded Systems | 16:15-17:45, Eingeladener Vortrag, Termin verschoben vom 11.6. |
25.06. | Freiburg | Prof. Dr. Bernd Becker: Hardware Verification in the Presence of Unknowns | - |
09.07.-11.09. | Sommerpause | ||
24.09. | Freiburg | Prof. Dr. Christoph Scholl: Approximate Symbolic Model Checking for Incomplete Designs | - |
22.10. | Saarbrücken | Prof. Dr. Holger Hermanns | - |
29.10. | Oldenburg | Prof. Dr. H. Schlingloff, Frauenhofer Institut FIRST: Failure quantification in safety critical railway systems | Eingeladener Vortrag |
26.11. | Saarbrücken | Prof. Dr. Andreas Podelski: Transition Predicate Abstraction | - |
10.12. | Oldenburg | Prof. Dr. Martin Fränzle: Continuous Interpretation of Temporal Logic: A Robust Duration Calculus | - |
23.12.-04.01. | Weihnachtspause | ||